// per-device BSP DXEs

// ACPI Tables

// Mainline device tree blob
